3.1406 \(\int \frac{\left (a+b x+c x^2\right )^{4/3}}{(b d+2 c d x)^{8/3}} \, dx\)

Optimal. Leaf size=581 \[ -\frac{\left (-4 a c+b^2-(b+2 c x)^2\right ) \sqrt [3]{d (b+2 c x)} \left (2 \sqrt [3]{c} d^{2/3}-\frac{\sqrt [3]{2} (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right ) \sqrt{\frac{\frac{2^{2/3} \sqrt [3]{c} d^{2/3} (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}+\frac{(d (b+2 c x))^{4/3}}{\left (a+b x+c x^2\right )^{2/3}}+2 \sqrt [3]{2} c^{2/3} d^{4/3}}{\left (2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1+\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right )^2}} F\left (\cos ^{-1}\left (\frac{2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1-\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{c x^2+b x+a}}}{2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1+\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{c x^2+b x+a}}}\right )|\frac{1}{4} \left (2+\sqrt{3}\right )\right )}{40 \sqrt [4]{3} c^{10/3} d^{11/3} \left (a+b x+c x^2\right )^{2/3} \sqrt{-\frac{(d (b+2 c x))^{2/3} \left (2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{(d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right )}{\sqrt [3]{a+b x+c x^2} \left (2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1+\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right )^2}}}+\frac{\sqrt [3]{a+b x+c x^2} \sqrt [3]{d (b+2 c x)}}{5 c^2 d^3}-\frac{3 \left (a+b x+c x^2\right )^{4/3}}{10 c d (d (b+2 c x))^{5/3}} \]

[Out]

((d*(b + 2*c*x))^(1/3)*(a + b*x + c*x^2)^(1/3))/(5*c^2*d^3) - (3*(a + b*x + c*x^
2)^(4/3))/(10*c*d*(d*(b + 2*c*x))^(5/3)) - ((d*(b + 2*c*x))^(1/3)*(b^2 - 4*a*c -
 (b + 2*c*x)^2)*(2*c^(1/3)*d^(2/3) - (2^(1/3)*(d*(b + 2*c*x))^(2/3))/(a + b*x +
c*x^2)^(1/3))*Sqrt[(2*2^(1/3)*c^(2/3)*d^(4/3) + (d*(b + 2*c*x))^(4/3)/(a + b*x +
 c*x^2)^(2/3) + (2^(2/3)*c^(1/3)*d^(2/3)*(d*(b + 2*c*x))^(2/3))/(a + b*x + c*x^2
)^(1/3))/(2^(2/3)*c^(1/3)*d^(2/3) - ((1 + Sqrt[3])*(d*(b + 2*c*x))^(2/3))/(a + b
*x + c*x^2)^(1/3))^2]*EllipticF[ArcCos[(2^(2/3)*c^(1/3)*d^(2/3) - ((1 - Sqrt[3])
*(d*(b + 2*c*x))^(2/3))/(a + b*x + c*x^2)^(1/3))/(2^(2/3)*c^(1/3)*d^(2/3) - ((1
+ Sqrt[3])*(d*(b + 2*c*x))^(2/3))/(a + b*x + c*x^2)^(1/3))], (2 + Sqrt[3])/4])/(
40*3^(1/4)*c^(10/3)*d^(11/3)*(a + b*x + c*x^2)^(2/3)*Sqrt[-(((d*(b + 2*c*x))^(2/
3)*(2^(2/3)*c^(1/3)*d^(2/3) - (d*(b + 2*c*x))^(2/3)/(a + b*x + c*x^2)^(1/3)))/((
a + b*x + c*x^2)^(1/3)*(2^(2/3)*c^(1/3)*d^(2/3) - ((1 + Sqrt[3])*(d*(b + 2*c*x))
^(2/3))/(a + b*x + c*x^2)^(1/3))^2))])

_______________________________________________________________________________________

Rubi [A]  time = 4.17599, antiderivative size = 581, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.214 \[ -\frac{\left (-4 a c+b^2-(b+2 c x)^2\right ) \sqrt [3]{d (b+2 c x)} \left (2 \sqrt [3]{c} d^{2/3}-\frac{\sqrt [3]{2} (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right ) \sqrt{\frac{\frac{2^{2/3} \sqrt [3]{c} d^{2/3} (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}+\frac{(d (b+2 c x))^{4/3}}{\left (a+b x+c x^2\right )^{2/3}}+2 \sqrt [3]{2} c^{2/3} d^{4/3}}{\left (2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1+\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right )^2}} F\left (\cos ^{-1}\left (\frac{2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1-\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{c x^2+b x+a}}}{2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1+\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{c x^2+b x+a}}}\right )|\frac{1}{4} \left (2+\sqrt{3}\right )\right )}{40 \sqrt [4]{3} c^{10/3} d^{11/3} \left (a+b x+c x^2\right )^{2/3} \sqrt{-\frac{(d (b+2 c x))^{2/3} \left (2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{(d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right )}{\sqrt [3]{a+b x+c x^2} \left (2^{2/3} \sqrt [3]{c} d^{2/3}-\frac{\left (1+\sqrt{3}\right ) (d (b+2 c x))^{2/3}}{\sqrt [3]{a+b x+c x^2}}\right )^2}}}+\frac{\sqrt [3]{a+b x+c x^2} \sqrt [3]{d (b+2 c x)}}{5 c^2 d^3}-\frac{3 \left (a+b x+c x^2\right )^{4/3}}{10 c d (d (b+2 c x))^{5/3}} \]

Warning: Unable to verify antiderivative.

[In]  Int[(a + b*x + c*x^2)^(4/3)/(b*d + 2*c*d*x)^(8/3),x]

[Out]

((d*(b + 2*c*x))^(1/3)*(a + b*x + c*x^2)^(1/3))/(5*c^2*d^3) - (3*(a + b*x + c*x^
2)^(4/3))/(10*c*d*(d*(b + 2*c*x))^(5/3)) - ((d*(b + 2*c*x))^(1/3)*(b^2 - 4*a*c -
 (b + 2*c*x)^2)*(2*c^(1/3)*d^(2/3) - (2^(1/3)*(d*(b + 2*c*x))^(2/3))/(a + b*x +
c*x^2)^(1/3))*Sqrt[(2*2^(1/3)*c^(2/3)*d^(4/3) + (d*(b + 2*c*x))^(4/3)/(a + b*x +
 c*x^2)^(2/3) + (2^(2/3)*c^(1/3)*d^(2/3)*(d*(b + 2*c*x))^(2/3))/(a + b*x + c*x^2
)^(1/3))/(2^(2/3)*c^(1/3)*d^(2/3) - ((1 + Sqrt[3])*(d*(b + 2*c*x))^(2/3))/(a + b
*x + c*x^2)^(1/3))^2]*EllipticF[ArcCos[(2^(2/3)*c^(1/3)*d^(2/3) - ((1 - Sqrt[3])
*(d*(b + 2*c*x))^(2/3))/(a + b*x + c*x^2)^(1/3))/(2^(2/3)*c^(1/3)*d^(2/3) - ((1
+ Sqrt[3])*(d*(b + 2*c*x))^(2/3))/(a + b*x + c*x^2)^(1/3))], (2 + Sqrt[3])/4])/(
40*3^(1/4)*c^(10/3)*d^(11/3)*(a + b*x + c*x^2)^(2/3)*Sqrt[-(((d*(b + 2*c*x))^(2/
3)*(2^(2/3)*c^(1/3)*d^(2/3) - (d*(b + 2*c*x))^(2/3)/(a + b*x + c*x^2)^(1/3)))/((
a + b*x + c*x^2)^(1/3)*(2^(2/3)*c^(1/3)*d^(2/3) - ((1 + Sqrt[3])*(d*(b + 2*c*x))
^(2/3))/(a + b*x + c*x^2)^(1/3))^2))])

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 103.561, size = 753, normalized size = 1.3 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((c*x**2+b*x+a)**(4/3)/(2*c*d*x+b*d)**(8/3),x)

[Out]

-3*(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(4/3)/(10*c*d*(b*d + 2*c*d*x)**(5/3)
) + (b*d + 2*c*d*x)**(1/3)*(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(1/3)/(5*c**
2*d**3) + 3**(3/4)*sqrt((4*c**(2/3)*d**(4/3) + 2*2**(1/3)*c**(1/3)*d**(2/3)*(b*d
 + 2*c*d*x)**(2/3)/(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(1/3) + 2**(2/3)*(b*
d + 2*c*d*x)**(4/3)/(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(2/3))/(2**(2/3)*c*
*(1/3)*d**(2/3) + (-sqrt(3) - 1)*(b*d + 2*c*d*x)**(2/3)/(a - b**2/(4*c) + (b + 2
*c*x)**2/(4*c))**(1/3))**2)*(-4*a*c + b**2)*(b*d + 2*c*d*x)**(1/3)*(-2**(2/3)*c*
*(1/3)*d**(2/3) + (b*d + 2*c*d*x)**(2/3)/(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))
**(1/3))*elliptic_f(acos((2**(2/3)*c**(1/3)*d**(2/3) + (-1 + sqrt(3))*(b*d + 2*c
*d*x)**(2/3)/(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(1/3))/(2**(2/3)*c**(1/3)*
d**(2/3) + (-sqrt(3) - 1)*(b*d + 2*c*d*x)**(2/3)/(a - b**2/(4*c) + (b + 2*c*x)**
2/(4*c))**(1/3))), sqrt(3)/4 + 1/2)/(120*c**(10/3)*d**(11/3)*sqrt(d**2*(a*c - b*
*2/4)/(d**2*(b + 2*c*x)**2/4 + d**2*(a*c - b**2/4)))*sqrt(-(b*d + 2*c*d*x)**(2/3
)*(2**(2/3)*c**(1/3)*d**(2/3) - (b*d + 2*c*d*x)**(2/3)/(a - b**2/(4*c) + (b + 2*
c*x)**2/(4*c))**(1/3))/((2**(2/3)*c**(1/3)*d**(2/3) + (-sqrt(3) - 1)*(b*d + 2*c*
d*x)**(2/3)/(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(1/3))**2*(a - b**2/(4*c) +
 (b + 2*c*x)**2/(4*c))**(1/3)))*sqrt(-d**2*(b + 2*c*x)**2/(4*(d**2*(b + 2*c*x)**
2/4 + d**2*(a*c - b**2/4))) + 1)*(a - b**2/(4*c) + (b + 2*c*x)**2/(4*c))**(2/3))

_______________________________________________________________________________________

Mathematica [C]  time = 0.477113, size = 145, normalized size = 0.25 \[ \frac{(b+2 c x)^3 \left (c (a+x (b+c x)) \left (\frac{3 \left (b^2-4 a c\right )}{(b+2 c x)^2}+5\right )-8 \sqrt [3]{2} \left (b^2-4 a c\right ) \left (\frac{c (a+x (b+c x))}{4 a c-b^2}\right )^{2/3} \, _2F_1\left (\frac{1}{6},\frac{2}{3};\frac{7}{6};\frac{(b+2 c x)^2}{b^2-4 a c}\right )\right )}{40 c^3 (a+x (b+c x))^{2/3} (d (b+2 c x))^{8/3}} \]

Antiderivative was successfully verified.

[In]  Integrate[(a + b*x + c*x^2)^(4/3)/(b*d + 2*c*d*x)^(8/3),x]

[Out]

((b + 2*c*x)^3*(c*(a + x*(b + c*x))*(5 + (3*(b^2 - 4*a*c))/(b + 2*c*x)^2) - 8*2^
(1/3)*(b^2 - 4*a*c)*((c*(a + x*(b + c*x)))/(-b^2 + 4*a*c))^(2/3)*HypergeometricP
FQ[{1/6, 2/3}, {7/6}, (b + 2*c*x)^2/(b^2 - 4*a*c)]))/(40*c^3*(d*(b + 2*c*x))^(8/
3)*(a + x*(b + c*x))^(2/3))

_______________________________________________________________________________________

Maple [F]  time = 0.155, size = 0, normalized size = 0. \[ \int{1 \left ( c{x}^{2}+bx+a \right ) ^{{\frac{4}{3}}} \left ( 2\,cdx+bd \right ) ^{-{\frac{8}{3}}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((c*x^2+b*x+a)^(4/3)/(2*c*d*x+b*d)^(8/3),x)

[Out]

int((c*x^2+b*x+a)^(4/3)/(2*c*d*x+b*d)^(8/3),x)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (c x^{2} + b x + a\right )}^{\frac{4}{3}}}{{\left (2 \, c d x + b d\right )}^{\frac{8}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x^2 + b*x + a)^(4/3)/(2*c*d*x + b*d)^(8/3),x, algorithm="maxima")

[Out]

integrate((c*x^2 + b*x + a)^(4/3)/(2*c*d*x + b*d)^(8/3), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (c x^{2} + b x + a\right )}^{\frac{4}{3}}}{{\left (4 \, c^{2} d^{2} x^{2} + 4 \, b c d^{2} x + b^{2} d^{2}\right )}{\left (2 \, c d x + b d\right )}^{\frac{2}{3}}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x^2 + b*x + a)^(4/3)/(2*c*d*x + b*d)^(8/3),x, algorithm="fricas")

[Out]

integral((c*x^2 + b*x + a)^(4/3)/((4*c^2*d^2*x^2 + 4*b*c*d^2*x + b^2*d^2)*(2*c*d
*x + b*d)^(2/3)), x)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x**2+b*x+a)**(4/3)/(2*c*d*x+b*d)**(8/3),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (c x^{2} + b x + a\right )}^{\frac{4}{3}}}{{\left (2 \, c d x + b d\right )}^{\frac{8}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x^2 + b*x + a)^(4/3)/(2*c*d*x + b*d)^(8/3),x, algorithm="giac")

[Out]

integrate((c*x^2 + b*x + a)^(4/3)/(2*c*d*x + b*d)^(8/3), x)